#include "as2_t1.h"

void *task_alloc();

void task_free(void *ptr);